Programming Methodology (Monographs in Computer Science)
by Annabelle Mclver, Carroll Morgan
ISBN 13: 9781441929648
Format: Paperback (488 pages) Publisher: Springer New York Published: 19 Feb 2010
Save for later
On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))
by Carroll Morgan
ISBN 13: 9783540199311
Format: Paperback (176 pages) Publisher: Springer Published: 04 Oct 2013
by Annabelle Mclver,Carroll Morgan
ISBN 13: 9780387953496
Format: Illustrated (488 pages) Publisher: Springer Published: 02 Oct 2002